341. Shared-memory parallelism can be simple, fast, and scalable /

پدیدآورنده : Julian Shun.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)

رده :

QA76

.

642

.

S587

2017

342. Smalltalk by example :

پدیدآورنده : Alec Sharp.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : VisualWorks.,VisualWorks.,VisualWorks.,Smalltalk (Computer program language),Smalltalk (Langage de programmation),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,Smalltalk (Computer program language),Smalltalk (langage de programmation),SOFTWARE TOOLS.

رده :

QA76

.

73

.

S59

S55

1997

343. Smart technology :

پدیدآورنده : Francisco Torres Guerrero, Jorge Lozoya-Santos, Eduardo Gonzalez Mendivil, Leticia Neira-Tovar, Pablo G. Ramírez Flores, Jorge Martin-Gutierrez (eds.).

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Artificial intelligence, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Graphics programming.,Image processing.,Information retrieval.,Internet of things.,User interface design & usability.

رده :

Q334

344. Software engineering :

پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.

رده :

QA76

.

9

.

H84

345. Solving combinatorial optimization problems in parallel :

پدیدآورنده : Afonso Ferreira, Panos Pardalos (eds.).

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Optimaliseren.,Parallelle verwerking.

رده :

QA402

.

5

A366

1996

346. Specifying software :

پدیدآورنده : R.D. Tennent.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer programming.,Computer software, Specifications.,Computer programming.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Computer software.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.

رده :

QA76

.

6

.

T4416

2002

347. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings

پدیدآورنده : Roberto Giacobazzi )ed.(

کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

I5733

2004

348. Structural information and communication complexity :

پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.

رده :

QA76

.

9

.

A43

349. Supercomputing.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

350. Supercomputing frontiers :

پدیدآورنده : Rio Yokota, Weigang Wu (eds.).

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Supercomputers, Congresses.,Supercomputers.

رده :

QA76

.

88

351. Swarm Intelligence :

پدیدآورنده : Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.

رده :

Q337

.

3

352. Swift data structure and algorithms :

پدیدآورنده : Erik Azar, Mario Eguiluz Alebicto.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)

رده :

QA76

.

774

.

I67

353. Symbolic Algebraic Methods and Verification Methods

پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Algebra -- Data processing.,Computer science.,Mathematics.

رده :

QA76

.

9

.

M35

E358

2001

354. Symposium on semantics of algorithmic languages

پدیدآورنده : edited by E. Engeler

کتابخانه: Library of College of Science University of Tehran (Tehran)

موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :

QA

76

.

7

.

S9

1971

355. Symposium on semantics of algorithmic languages

پدیدآورنده : edited by E. Engeler

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms

رده :

QA

1

.

L4

v

.

188

356. Systems programming in Unix/Linux /

پدیدآورنده : K.C. Wang.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)

رده :

QA76

.

76

.

O63

W36

2018

357. Testing and tuning market trading systems :

پدیدآورنده : Timothy Masters.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

73

.

C153

358. The Art of computer programming

پدیدآورنده : / Donald Ervin Knuth

کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)

موضوع : Electronic digital computers-- programming

رده :

QA

76

.

6

.

K64

359. The Logic of Partial Information

پدیدآورنده : by Areski Nait Abdallah.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.

رده :

QA76

.

7

B937

1995

360. The Macintosh bible /

پدیدآورنده : Sharon Zardetto Aker.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.

رده :

QA76

.

8

.

M3

A4368

1998